-- MAIN == 120 
DEF MAIN:nat == fac(5)
DEF fac(n:nat):nat == IF eq(n,0) THEN 1 ELSE mul(n,fac(sub(n,1))) FI
